well-formed sequent

  • 释义

    成形的相继式

数据更新时间:2026-04-19 13:01:32
1、

In this paper, the authors briefly describe the semantic encoding approach, and the sequent calculus, as well as the related implementation techniques of the DC/ P.

该文介绍了DC/P的语义编码方法、采用的相继式证明系统及实现技术,并给出了应用实例。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索

英语网英语词典(dict.25820.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈